Full Reflection of Stationary Sets at Regular Cardinals
نویسندگان
چکیده
0. Introduction. A stationary subset S of a regular uncountable cardinal κ reflects fully at regular cardinals if for every stationary set T ⊆ κ of higher order consisting of regular cardinals there exists an α ∈ T such that S ∩ α is a stationary subset of α. We prove that the Axiom of Full Reflection which states that every stationary set reflects fully at regular cardinals, together with the existence of n-Mahlo cardinals is equiconsistent with the existence of Πn-indescribable cardinals. We also state the appropriate generalization for greatly Mahlo cardinals.
منابع مشابه
Full Reflection at a Measurable Cardinal
A stationary subset S of a regular uncountable cardinal re ects fully at regular cardinals if for every stationary set T of higher order consisting of regular cardinals there exists an 2 T such that S \ is a stationary subset of . Full Re ection states that every stationary set re ects fully at regular cardinals. We will prove that under a slightly weaker assumption than having Mitchell order +...
متن کاملSemistationary and stationary reflection
We study the relationship between the semistationary reflection principle and stationary reflection principles. We show that for all regular cardinals λ ≥ ω2 the semistationary reflection principle in the space [λ] implies that every stationary subset of E ω := {α ∈ λ | cf(α) = ω} reflects. We also show that for all cardinals λ ≥ ω3 the semistationary reflection principle in [λ] does not imply ...
متن کاملStationary Reflection and Level by Level Equivalence
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jonsson cardinal is weakly compact. On the other hand, w...
متن کاملClub-guessing, stationary reflection, and coloring theorems
We obtain strong coloring theorems at successors of singular cardinals from failures of certain instances of simultaneous reflection of stationary sets. Along the way, we establish new results in club-guessing and in the general theory of ideals.
متن کاملReflection of stationary Sets and the Tree Property at the Successor of a singular cardinal
We show that from infinitely many supercompact cardinals one can force a model of ZFC where both the tree property and the stationary reflection hold at אω2+1.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993